Noninvasive Methods for Host Certification

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

islanding detection methods for microgrids

امروزه استفاده از منابع انرژی پراکنده کاربرد وسیعی یافته است . اگر چه این منابع بسیاری از مشکلات شبکه را حل می کنند اما زیاد شدن آنها مسائل فراوانی برای سیستم قدرت به همراه دارد . استفاده از میکروشبکه راه حلی است که علاوه بر استفاده از مزایای منابع انرژی پراکنده برخی از مشکلات ایجاد شده توسط آنها را نیز منتفی می کند . همچنین میکروشبکه ها کیفیت برق و قابلیت اطمینان تامین انرژی مشترکان را افزایش ...

15 صفحه اول

Software Certification : Methods and Tools

With the pervasive deployment of software in dependable systems used in everyday life, society is increasingly demanding that software used in critical systems must meet minimum safety, security and reliability standards. Certification is the procedure by which an authorized person or agency assesses and verifies characteristics of a system or product in accordance with established requirements...

متن کامل

Noninvasive diagnostic methods for Helicobacter pylori infection.

Helicobacter pylori is one of the most frequently occurring and persistent bacterial infections worldwide. H. pylori bacteria are associated with peptic ulcer disease, mucosaassociated lymphoid tissue lymphoma, and gastric cancer. Various diagnostic methods are used to detect H. pylori infection. However, only highly accurate tests with 90% sensitivity and 90% specificity should be used in clin...

متن کامل

Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems

In this paper we assess the feasibility of using formal methods, and model checking in particular, for the certification of Unmanned Aircraft Systems (UAS) within civil airspace. We begin by modelling a basic UAS control system in PROMELA, and verify it against a selected subset of the CAA’s Rules of the Air using the SPIN model checker. Next we build a more advanced UAS control system using th...

متن کامل

Certification Under Uncertainties of Control Methods for Multisource Elevators

As the interest in regulating energy usage and participating in the demand-response market is growing, new energy management algorithms emerge. Energy consumption of elevators represents about 5% of the overall consumption of a building. Thus, improving energy performance of elevators becomes a relevant challenge. In this paper, a method is described to assist potential customers in choosing th...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: ACM Transactions on Information and System Security

سال: 2008

ISSN: 1094-9224,1557-7406

DOI: 10.1145/1341731.1341737